Solidarity with solidity

Geometric Interoperability With Epsilon Solidity

Geometric data interoperability is critical in industrial applications where geometric data are transferred (translated) among multiple modeling systems for data sharing and reuse. A big obstacle in data translation lies in that geometric data are usually imprecise and geometric algorithm precisions vary from system to system. In the absence of common formal principles, both industry and academ...

Universal graphs with a forbidden subgraph: Block path solidity

Let C be a finite connected graph for which there is a countable universal C-free graph, and whose tree of blocks is a path. Then the blocks of C are complete. This generalizes a result of Füredi and Komjáth, and fits naturally into a set of conjectures regarding the existence of countable C-free graphs, with C an arbitrary finite connected graph.

Executable Operational Semantics of Solidity

Bitcoin has attracted everyone’s attention and interest recently. Ethereum (ETH), a second generation cryptocurrency, extends Bitcoin’s design by offering a Turing-complete programming language called Solidity to develop smart contracts. Smart contracts allow creditable execution of contracts on EVM (Ethereum Virtual Machine) without third parties. Developing correct smart contracts is challeng...

Digital Solidarity

Over the last two decades, the Internet has been a laboratory for social innovation. One of the most unexpected collective discoveries has been the existence of another mode of organization to achieve large−scale co−ordination. This mode relies neither on the market, where price signals perform important co−ordinating functions horizontally (as Friedrich Hayek famously stated), nor on public an...

Solidarity in games with a coalition structure